/**
 * Created by IntelliJ IDEA.
 * User: Administrator
 * Date: Dec 31, 2009
 * Time: 11:04:24 AM
 * To change this template use File | Settings | File Templates.
 */
import org.jdom.Element;

// Referenced classes of package dk.brics.dsd:
//            Definition, Boolexp, Schema

class BoolexpDefinition extends Definition
{

    BoolexpDefinition(Element element, Schema schema)
    {
        super(element);
        exp = Boolexp.parseOne(element, schema);
    }

    Boolexp exp;
}
